Dfa minimization using table filling method